Перевод: с английского на русский

с русского на английский

minimality condition

См. также в других словарях:

  • Positive definite kernel — In operator theory, a positive definite kernel is a generalization of a positive matrix. Definition Let :{ H n } {n in {mathbb Z be a sequence of (complex) Hilbert spaces and :mathcal{L}(H i, H j)be the bounded operators from Hi to Hj . A map A… …   Wikipedia

  • Injective cogenerator — In category theory, the concept of an injective cogenerator is drawn from examples such as Pontryagin duality. Generators are objects which cover other objects as an approximation, and (dually) cogenerators are objects which envelope other… …   Wikipedia

  • Sz.-Nagy's dilation theorem — The Sz. Nagy dilation theorem (proved by Béla Szőkefalvi Nagy) states that every contraction T on a Hilbert space H has a unitary dilation U to a Hilbert space K , containing H , with:T^n = P H U^n vert HMoreover, such a dilation is unique (up to …   Wikipedia

  • Empty category principle — In linguistics, the empty category principle (ECP) was proposed in Noam Chomsky s syntactic framework of government and binding theory. The ECP is supposed to be a universal syntactic constraint that requires traces to be properly governed.Proper …   Wikipedia

  • Positive definite function on a group — In operator theory, a positive definite function on a group relates the notions of positivity, in the context of Hilbert spaces, and algebraic groups. It can be viewed as a particular type of positive definite kernel where the underlying set has… …   Wikipedia

  • Stable model semantics — The concept of a stable model, or answer set, is used to define a declarative semantics for logic programs with negation as failure. This is one of several standard approaches to the meaning of negation in logic programming, along with program… …   Wikipedia

  • Forcing (mathematics) — For the use of forcing in recursion theory, see Forcing (recursion theory). In the mathematical discipline of set theory, forcing is a technique invented by Paul Cohen for proving consistency and independence results. It was first used, in 1963,… …   Wikipedia

  • Prime number — Prime redirects here. For other uses, see Prime (disambiguation). A prime number (or a prime) is a natural number greater than 1 that has no positive divisors other than 1 and itself. A natural number greater than 1 that is not a prime number is… …   Wikipedia

  • Differential form — In the mathematical fields of differential geometry and tensor calculus, differential forms are an approach to multivariable calculus that is independent of coordinates. Differential forms provide a better[further explanation needed] definition… …   Wikipedia

  • Vector space — This article is about linear (vector) spaces. For the structure in incidence geometry, see Linear space (geometry). Vector addition and scalar multiplication: a vector v (blue) is added to another vector w (red, upper illustration). Below, w is… …   Wikipedia

  • Abductive reasoning — Abduction, or inference to the best explanation, is a method of reasoning in which one chooses the hypothesis that would, if true, best explain the relevant evidence. Abductive reasoning starts from a set of accepted facts and infers their most… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»